Project Standard Design and Special Research Report

Fake News Research Project Research Report

Research Report: Hybrid Clarinet Project

In the past thirty years we have seen a wide range of studies on the physical modeling of musical instruments using the waveguide technique. We now have at our disposal sophisticated models encompassing a large array of musical instruments. While the waveguide technique is both efficient and allows for the creation of effective models, it remains dependent on the precise control of the paramete...

Research Project Report: Spark, BlinkDB and Sampling

During the 2015-2016 academic year, I conducted research about Spark, BlinkDB and various sampling techniques. This research helped the team have a better understanding of the capabilities and properties of Spark, BlinkDB system and different sampling technologies. Additionally, I benchmarked and implemented various Machine learning and sampling methods on the top of both Spark and BlinkDB. The...

A Procosii Project Final Report: Esprit Basic Research Project 7071

An overview of the research and associated activities of the European collaborative ESPRIT Basic Research ProCoS II project (no. 7071) on \Provably Correct Systems" which ran from 1992 to 1995 is presented. This was a follow-on project to ProCoS (no. 3104) and ran in parallel with the ProCoS-WG Working Group (no. 8694), all previously announced in the Bulletin of the EATCS [3, 17, 18]. A compre...

ESPRIT Basic Research project Acclaim - Final Report